Definition Theory as Basis for a Creative Problem Solver

In this paper the application of some deep theorems of mathematical logic is shown in the field of artificial intelligence. Namely, using some of the results of definition theory we give the mathematical base to systems for automatic designing. /SAD/, These systems are capable of solving constructive tasks of such kind that need some creativity from the psychological point of view. Above tasks contain the imtlicite description of the object to be contructed. First of all that unit is investigated at SAD which provides an explicit definition to the circumscribed object. Introduction One of the main directions in research of artificial intelligence is developing problem solving systems namely, systems for automatic designing /SAD/, Their practical importance is invaluable. These systems are capable to solve constructive tasks, A task is constructive if the unknown is some kind of an object of which characteristics are described in the conditions of the ta3k. Two kinds of these are distinguished: